搜索
近期，AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果，也让数学界开始重新思考：当 AI 能够参与甚至独立完成复杂数学证明，数学家的价值将如何体现？数学研究的范式、人才培养方式又将发生哪些变化？
不er，印象中非常吃算力的「游戏世界模型」，居然就这样被塞进一张RTX 5090里了？！
在 AI 圈，几乎所有人都在讨论 AI 什么取代我，取代数学家、设计师、经济学家，但被「杀死」最多次的一定是程序员。
十年前，我们用 Soul、陌陌这类 App 认识陌生人，单身交友，不敢明目张胆发挥荷尔蒙。
最近 AI 圈有一个共识，越喊越响：App 和 Saas 会消失，未来只剩 Chat 对话。
被抽走灵魂的两年。
不追求一机全能，零售机器人开始按任务分工。
AI 办公，最大的门槛反而不在 AI，在于一个认知错觉：你以为它都知道。
九位同志，去俄斯特拉发，待上一年。
近日，清华大学电子工程系数据科学与智能实验室在 AI for Science 方向提出面向智能体符号回归（agentic symbolic regression）的运行时框架 SRHarness [1]，让 AI 更可靠地从观测数据中发现公式；同时构建机制发现基准 MechBench [2]，系统评测 AI 能否进一步揭示公式背后的机理。